Subtype polymorphism

Results: 217



#Item
151Programming language theory / Data types / Polymorphism / Object-oriented programming / Functional programming / Subtype polymorphism / Parametric polymorphism / Ad-hoc polymorphism / Type system / Software engineering / Type theory / Computing

1 Computing Surveys, Vol 17 n. 4, pp[removed], December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli

Add to Reading List

Source URL: lucacardelli.name

Language: English - Date: 2007-10-27 09:17:29
152Data types / Trailer / Software engineering / Subtype polymorphism / Header / Computer data / Computing / Information technology management

Microsoft Word - cohortcrossmatch.doc

Add to Reading List

Source URL: ache.alabama.gov

Language: English - Date: 2013-04-29 12:33:44
153Data types / Trailer / Software engineering / Subtype polymorphism / Header / Computer data / Computing / Information technology management

Microsoft Word - cohortcrossmatch.doc

Add to Reading List

Source URL: www.ache.state.al.us

Language: English - Date: 2013-04-29 12:33:44
154Molecular biology / Public health laboratory / Association of Public Health Laboratories / Subtype polymorphism / Salmonella / Pulsed field gel electrophoresis / Biology / Centers for Disease Control and Prevention / Pulsenet

PDF Document

Add to Reading List

Source URL: www.cdc.gov

Language: English - Date: 2014-07-23 09:35:56
155Source code / Type theory / C++ / C++ classes / Null / Constructor / Relation / C / Subtype polymorphism / Software engineering / Computer programming / Computing

NHDv2.2_poster_v8_062614.pdf

Add to Reading List

Source URL: nhd.usgs.gov

Language: English - Date: 2014-07-02 15:06:48
156Programming language theory / Type theory / C++ / Software testing / TTCN-3 / TTCN / Type system / Subtype polymorphism / C / Software engineering / Computing / Data types

ES[removed]V4[removed]Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language

Add to Reading List

Source URL: www.etsi.org

Language: English - Date: 2014-06-17 08:01:57
157Data types / Object-oriented programming / Computer programming / ECO / Type safety / Lambda calculus / Null / Subtype polymorphism / Type system / Software engineering / Computing / Type theory

PDF Document

Add to Reading List

Source URL: www.brucker.ch

Language: English - Date: 2013-09-16 03:40:25
158Object-oriented programming / Data types / C++ / Polymorphism / Object-oriented design / Generic programming / Subtype polymorphism / Pointer / C / Software engineering / Computing / Computer programming

Preface Preface Welcome — And Thank You! Thank you for choosing C++ For Artists: The Art, Philosophy, and Science of Object-Oriented Programming. You have selected an excellent book to augment your C++ and object-orien

Add to Reading List

Source URL: pulpfreepress.com

Language: English - Date: 2004-09-13 16:25:30
159Programming language theory / Data types / Type systems / Formal methods / Object-oriented programming / Type safety / Subtype polymorphism / Simply typed lambda calculus / Type inference / Software engineering / Type theory / Computing

Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb†

Add to Reading List

Source URL: sage.soe.ucsc.edu

Language: English - Date: 2007-05-25 12:49:26
160Type theory / Data types / Functional languages / Object-oriented programming / Procedural programming languages / Type system / Type safety / Subtype polymorphism / Polymorphism / Software engineering / Computing / Programming language theory

Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

Add to Reading List

Source URL: scheme2006.cs.uchicago.edu

Language: English - Date: 2006-08-29 21:53:24
UPDATE